Developing correct, distributed, adaptive software
نویسندگان
چکیده
We illustrate our approach to develop and verify distributed, adaptive software systems. The cornerstone of our framework is the use of choreography languages, which allow us to obtain correctness by construction. Workflow Patterns are also used as abstract tools to design real systems, while techniques based on abstract interpretation and on dynamic verification are integrated in our framework to reduce the complexity of verification.
منابع مشابه
DART: A Reflective Middleware for Adaptive Applications
The DART (Distributed Adaptive RunTime) project is developing a software runtime that will allow application authors to quickly develop distributed software, such as network or web software, without having to deal with the details of the distribution technology. A key feature of the runtime is its ability to reconfigure, or adapt itself, to the application requirements and to the system and net...
متن کاملMoving Towards Distributed Networks of Proactive, Self-Adaptive and Context-Aware Systems: a New Research Direction?
Instead of being static and waiting passively for instructions, software systems are required to take a more proactive approach in their behaviour in order to anticipate and to adapt to the needs of their users. To design and develop such systems in an affordable, predictable and timely manner is a great software engineering challenge. Even though there have been notable steps for modelling sel...
متن کاملA Distributed Object Framework for Pervasive Computing Applications
This thesis presents a new architectural abstraction for developing dynamic and adaptive software. Separating application logic from implementation mechanism provides developers with a simple API for constructing new application functionality by connecting together a set of generic, distributed software modules. Developers codify adaptive application structure and logic in a simple, synchronous...
متن کاملPractical Approaches for Software Adaptation
Computer software must dynamically adapt its behavior in response to changes in variable environments. In the context of distributed systems, where adaptations are performed in many sites, coordinating adaptations across sites is critical to ensure the correctness of applications during and after adaptations. Developing self-adaptive applications is thus more difficult. Addressing this issue, w...
متن کاملA Survey of Adaptive Middleware
Developing distributed applications is a difficult task due to three major problems: the complexity of programming interprocess communication, the need to support services across heterogeneous platforms, and the need to adapt to changing conditions. Traditional middleware (such as CORBA, DCOM, and Java RMI) addresses the first two problems to some extent through the use of a “black-box” approac...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Sci. Comput. Program.
دوره 97 شماره
صفحات -
تاریخ انتشار 2015